Contents
- Lift <A> (Func<A> Function)
- ToReaderT <Env, M> ()
- ToIO ()
- ToEff ()
- ToEff <RT> ()
- Map <B> (Func<A, B> f)
- Bind <B> (Func<A, Lift<B>> f)
- Bind <B> (Func<A, IO<B>> f)
- Bind <B> (Func<A, Pure<B>> f)
- Select <B> (Func<A, B> f)
- SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project)
- SelectMany <Env, M, B, C> (Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Lift<B>> bind, Func<A, B, C> project)
- SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project)
- Lift <A, B> (Func<A, B> Function)
- Map <C> (Func<B, C> f)
- Bind <C> (Func<B, Lift<A, C>> f)
- Bind <C> (Func<B, Pure<C>> f)
- Select <C> (Func<B, C> f)
- SelectMany <C, D> (Func<B, Pure<C>> bind, Func<B, C, D> project)
- Prelude
- lift (Action action)
- lift <A> (Func<A> function)
- lift <A, B> (Func<A, B> function)
- liftIO (Func<Task> action)
- liftIO (Func<EnvIO, Task> action)
- liftIO <A> (Func<Task<A>> function)
- liftVIO <A> (Func<ValueTask<A>> function)
- liftIO <A> (Func<EnvIO, Task<A>> function)
- liftVIO <A> (Func<EnvIO, ValueTask<A>> function)
- liftIO <A> (Option<A> ma)
- liftIO <A> (Task<Option<A>> ma)
- liftIO <L, A> (Either<L, A> ma)
- liftIO <L, A> (Task<Either<L, A>> ma)
- liftIO <L, A> (Validation<L, A> ma)
- liftIO <L, A> (Task<Validation<L, A>> ma)
record Lift <A> (Func<A> Function) Source #
Lifts a function into a type that can be used with other monadic types (in LINQ expressions, for example) and with implicit conversions.
Methods
method IO<C> SelectMany <B, C> (Func<A, IO<B>> bind, Func<A, B, C> project) Source #
method ReaderT<Env, M, C> SelectMany <Env, M, B, C> (Func<A, ReaderT<Env, M, B>> bind, Func<A, B, C> project) Source #
method Lift<C> SelectMany <B, C> (Func<A, Lift<B>> bind, Func<A, B, C> project) Source #
method Lift<C> SelectMany <B, C> (Func<A, Pure<B>> bind, Func<A, B, C> project) Source #
record Lift <A, B> (Func<A, B> Function) Source #
Lifts a function into a type that can be used with other monadic types (in LINQ expressions, for example) and with implicit conversions.
Methods
method Lift<A, D> SelectMany <C, D> (Func<B, Pure<C>> bind, Func<B, C, D> project) Source #
Methods
method Lift<Unit> lift (Action action) Source #
Lift an action
Parameters
| param | action | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method Lift<A> lift <A> (Func<A> function) Source #
Lift a function
Parameters
| param | function | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method Lift<A, B> lift <A, B> (Func<A, B> function) Source #
Lift a function
Parameters
| param | function | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method IO<Unit> liftIO (Func<Task> action) Source #
Lift a asynchronous IO action
Parameters
| param | action | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method IO<Unit> liftIO (Func<EnvIO, Task> action) Source #
Lift a asynchronous IO action
Parameters
| param | action | Action |
| returns | Value that can be used with monadic types in LINQ expressions | |
method IO<A> liftIO <A> (Func<Task<A>> function) Source #
Lift a asynchronous IO function
Parameters
| param | function | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method IO<A> liftVIO <A> (Func<ValueTask<A>> function) Source #
Lift a asynchronous IO function
Parameters
| param | function | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method IO<A> liftIO <A> (Func<EnvIO, Task<A>> function) Source #
Lift a asynchronous IO function
Parameters
| param | function | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method IO<A> liftVIO <A> (Func<EnvIO, ValueTask<A>> function) Source #
Lift a asynchronous IO function
Parameters
| param | function | Function |
| returns | Value that can be used with monadic types in LINQ expressions | |
method EitherT<L, IO, A> liftIO <L, A> (Task<Either<L, A>> ma) Source #
Lift an Either into a EitherT IO